Sperm washing and testing for HIV contamination